(handle_one_xevent): Set mouse_face_hidden after clearing highlight.
authorKim F. Storm <storm@cua.dk>
Mon, 5 Apr 2004 21:55:16 +0000 (21:55 +0000)
committerKim F. Storm <storm@cua.dk>
Mon, 5 Apr 2004 21:55:16 +0000 (21:55 +0000)
commita405976190a0dcfc15257ccbc8dffd06ca0d5c37
tree0b9aee088395eb433ad439e00976a70c0c0bccb1
parent2ef4b8c75d0711a688c48ce943a667c3f8aa6018
(handle_one_xevent): Set mouse_face_hidden after clearing highlight.
src/xterm.c